A Virtual Machine for Functional Logic Computations⋆ Sergio Antoy1 , Michael Hanus2 , Jimeng Liu1 , and Andrew Tolmach1 1 2

Source URL: web.cecs.pdx.edu

• Software engineering
• Computer programming
• Computing
• Programming paradigms
• Computability theory
• Subroutines
• Programming idioms
• Models of computation
• Functional programming
• Curry
• Prolog
• Recursion

Higher-Order and Symbolic Computation, 11, 363–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Definitional Interpreters

Source URL: cs.au.dk

• Software engineering
• Computer programming
• Computing
• Lambda calculus
• Subroutines
• Models of computation
• Functional programming
• Theoretical computer science
• Lisp
• Eval
• Expression
• Anonymous function

Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system

Source URL: flint.cs.yale.edu

• Formal methods
• Logic in computer science
• Models of computation
• Programming language semantics
• Abstraction
• Kernel
• Abstract state machines
• Semantics
• Denotational semantics
• Operational semantics
• Refinement
• Limit

Gossip Learning with Linear Models on Fully Distributed Data∗ Róbert Ormándi, István Heged˝us, Márk Jelasity University of Szeged and Hungarian Academy of Sciences {ormandi,ihegedus,jelasity}@inf.u-szeged.hu

Source URL: www.inf.u-szeged.hu

• Statistics
• Machine learning
• Computer programming
• Distributed computing
• File sharing
• Artificial neural networks
• Computational statistics
• Peer-to-peer
• Expectationmaximization algorithm
• Perceptron
• Supervised learning
• Stochastic gradient descent

A fully abstract semantics for a higher-order functional language with nondeterministic computation A LAN J EFFREY A BSTRACT. This paper is about the relationship between the theory of monadic types and the practice of c

Source URL: ect.bell-labs.com

• Category theory
• Models of computation
• Adjoint functors
• Functional programming
• Logic in computer science
• Denotational semantics
• Lambda calculus
• Cartesian closed category
• Sheaf
• F-algebra
• Kleisli category
• Monad

Combined Kinesthetic and Simulated Interface for Teaching Robot Motion Models Elizabeth Cha1 , Klas Kronander1 and Aude Billard1 Abstract— The success of a Learning from Demonstration system depends on the quality of t

Source URL: lasa.epfl.ch

• Robot
• Human–robot interaction
• Simulation
• Haptic technology
• Autonomous robot
• Human–computer interaction
• Multimodal interaction
• Programming by demonstration

COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 3 6 Concepts in Programming Languages (AM) (a) Give an overview of the execution models (abstract machines) associated with Fortran, Lisp, Algol-60, Pascal, C, ML and Ja

Source URL: www.cl.cam.ac.uk

A Model Seeker: Extracting Global Constraint Models From Positive Examples Nicolas Beldiceanu and Helmut Simonis TASC team (INRIA/CNRS), Mines de Nantes, France Cork Constraint Computation Centre Department of Computer S

Source URL: 4c.ucc.ie

• E
• Constraint programming
• Mathematics
• Mathematical optimization
• Constraint
• Cardinality

Comparing Solution Methods for the Machine Reassignment Problem Deepak Mehta, Barry O’Sullivan, and Helmut Simonis Cork Constraint Computation Centre, University College Cork, Ireland {d.mehta|b.osullivan|h.simonis}@4c

Source URL: 4c.ucc.ie

• Linear programming
• Local consistency
• Mathematics
• Applied mathematics
• Theoretical computer science
• Mathematical optimization
• Models of computation
• Convex optimization
• Operations research
• Constraint programming

Actor Induction and Meta-evaluation

Source URL: www.cypherpunks.to

• Lisp programming language
• Data types
• Models of computation
• Cons
• Functional programming
• Lisp
• Closure
• List
• Factorial
• Software engineering
• Computing
• Computer programming